Concordance-homotopy groups and the nonfinite type of some ${\text{Diff}}_0 M^n$

CONCORDANCE-HOMOTOPY GROUPS AND THE NONFINITE TYPE OF SOME Diff0 M

the investigation of the relationship between type a and type b personalities and quality of translation

چکیده ندارد.

THE NONFINITE TYPE OF SOME DiS0M

On the homotopy groups of spheres in homotopy type theory

The goal of this thesis is to prove that π4(S) ' Z/2Z in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory, and we prove some well-known results about the homotopy groups of spheres: the computation of the homotopy groups of the circle, the triviality of those of the form πk(S) with k < n, and...

Some Properties of Fox Torus Homotopy Groups

In 1945, R. Fox introduced the so-called Fox torus homotopy groups in which the usual homotopy groups are embedded and their Whitehead products are expressed as commutators. A modern treatment of Fox torus homotopy groups and their generalization were given by the authors in an earlier work. In this note, we further explore these groups and their properties. We discuss co-multiplications on Fox...